Skip to content

chore: sync develop into main - #14

Merged
D3ller merged 14 commits into
mainfrom
develop
Oct 12, 2026
Merged

D3ller merged 14 commits into
mainfrom
develop

Conversation

@D3ller

@D3ller D3ller commented Oct 12, 2026

Copy link
Copy Markdown
Owner

Summary

Verification

  • ./gradlew build passed on the integrated branch.
  • origin/main is an ancestor of origin/develop before this pull request.

@D3ller
D3ller merged commit ed85753 into main Oct 12, 2026
1 check passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant